Introduction: computability of the physical
نویسندگان
چکیده
منابع مشابه
Introduction to Computability Theory
These are notes for a short introductory course on Computability Theory (or recursive function theory). The basic notion of computability is defined in terms of a simple imperative programming language.
متن کاملComputability and Physical Theories
The familiar theories o f physics have the feature that the application o f the theory to make predictions in specific circumstances can be done by means o f an algorithm. We propose a more precise formulation of this feature--one based on the issue of whether or not the physically measurable numbers predicted by the theory are computable in the mathematical sense. Applying this formulation to ...
متن کاملAn Introduction to Computability Theory
This paper will give an introduction to the fundamentals of computability theory. Based on Robert Soare’s textbook, The Art of Turing Computability: Theory and Applications, we examine concepts including the Halting problem, properties of Turing jumps and degrees, and Post’s Theorem. In the paper, we will assume the reader has a conceptual understanding of computer programs.
متن کاملa comparative move analysis of the introduction sections of ma theses by iranian and native post-graduate students
since esp received universal attention to smooth the path for academic studies and productions, a great deal of research and studies have been directed towards this area. swales’ (1990) model of ra introduction move analysis has served a pioneering role of guiding many relevant studies and has proven to be productive in terms of helpful guidelines that are the outcome of voluminous productions ...
15 صفحه اولترجمه و تحقیق کتاب an introduction to the history of mysticism
پایان نامه ی ارائه شده ترجمه ی کتاب «an introduction to the history of mysticism» نوشته ی مارگارت اسمیت که وی پژوهشگر، خاورشناس و محقق برجسته ی تصوف و عرفان می باشد. موضوع اساسی و مهم این کتاب عرفان در ادیان مختلف است. نویسنده در ابتدا این کلمه را ریشه یابی کرده و سپس تعریفی از آن ارائه داده و آن را در ادیان مختلف مورد بحث قرار داده است و در هر فصل کتاب به معرفی عرفای آن دین یا عصر خاصی پرداخته...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2012
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129511000491